Optimal. Leaf size=150 \[ -\frac {2 \left (a^2-b^2\right )^2}{3 b^5 d (a+b \sin (c+d x))^{3/2}}+\frac {8 a \left (a^2-b^2\right )}{b^5 d \sqrt {a+b \sin (c+d x)}}+\frac {4 \left (3 a^2-b^2\right ) \sqrt {a+b \sin (c+d x)}}{b^5 d}-\frac {8 a (a+b \sin (c+d x))^{3/2}}{3 b^5 d}+\frac {2 (a+b \sin (c+d x))^{5/2}}{5 b^5 d} \]
[Out]
________________________________________________________________________________________
Rubi [A]
time = 0.08, antiderivative size = 150, normalized size of antiderivative = 1.00, number of steps
used = 3, number of rules used = 2, integrand size = 23, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.087, Rules used = {2747, 711}
\begin {gather*} \frac {4 \left (3 a^2-b^2\right ) \sqrt {a+b \sin (c+d x)}}{b^5 d}+\frac {8 a \left (a^2-b^2\right )}{b^5 d \sqrt {a+b \sin (c+d x)}}-\frac {2 \left (a^2-b^2\right )^2}{3 b^5 d (a+b \sin (c+d x))^{3/2}}+\frac {2 (a+b \sin (c+d x))^{5/2}}{5 b^5 d}-\frac {8 a (a+b \sin (c+d x))^{3/2}}{3 b^5 d} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
Rule 711
Rule 2747
Rubi steps
\begin {align*} \int \frac {\cos ^5(c+d x)}{(a+b \sin (c+d x))^{5/2}} \, dx &=\frac {\text {Subst}\left (\int \frac {\left (b^2-x^2\right )^2}{(a+x)^{5/2}} \, dx,x,b \sin (c+d x)\right )}{b^5 d}\\ &=\frac {\text {Subst}\left (\int \left (\frac {\left (a^2-b^2\right )^2}{(a+x)^{5/2}}-\frac {4 \left (a^3-a b^2\right )}{(a+x)^{3/2}}+\frac {2 \left (3 a^2-b^2\right )}{\sqrt {a+x}}-4 a \sqrt {a+x}+(a+x)^{3/2}\right ) \, dx,x,b \sin (c+d x)\right )}{b^5 d}\\ &=-\frac {2 \left (a^2-b^2\right )^2}{3 b^5 d (a+b \sin (c+d x))^{3/2}}+\frac {8 a \left (a^2-b^2\right )}{b^5 d \sqrt {a+b \sin (c+d x)}}+\frac {4 \left (3 a^2-b^2\right ) \sqrt {a+b \sin (c+d x)}}{b^5 d}-\frac {8 a (a+b \sin (c+d x))^{3/2}}{3 b^5 d}+\frac {2 (a+b \sin (c+d x))^{5/2}}{5 b^5 d}\\ \end {align*}
________________________________________________________________________________________
Mathematica [A]
time = 0.30, size = 117, normalized size = 0.78 \begin {gather*} \frac {6 b^4 \cos ^4(c+d x)+16 \left (16 a^4-10 a^2 b^2-b^4+3 a b \left (8 a^2-5 b^2\right ) \sin (c+d x)+\left (6 a^2 b^2-3 b^4\right ) \sin ^2(c+d x)-a b^3 \sin ^3(c+d x)\right )}{15 b^5 d (a+b \sin (c+d x))^{3/2}} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
Maple [A]
time = 1.09, size = 116, normalized size = 0.77
method | result | size |
default | \(\frac {\frac {16 a \,b^{3} \left (\cos ^{2}\left (d x +c \right )\right ) \sin \left (d x +c \right )}{15}+\frac {2 \left (192 b \,a^{3}-128 a \,b^{3}\right ) \sin \left (d x +c \right )}{15}+\frac {2 b^{4} \left (\cos ^{4}\left (d x +c \right )\right )}{5}+\frac {2 \left (-48 a^{2} b^{2}+24 b^{4}\right ) \left (\cos ^{2}\left (d x +c \right )\right )}{15}+\frac {256 a^{4}}{15}-\frac {64 a^{2} b^{2}}{15}-\frac {64 b^{4}}{15}}{b^{5} \left (a +b \sin \left (d x +c \right )\right )^{\frac {3}{2}} d}\) | \(116\) |
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [A]
time = 0.27, size = 122, normalized size = 0.81 \begin {gather*} \frac {2 \, {\left (\frac {3 \, {\left (b \sin \left (d x + c\right ) + a\right )}^{\frac {5}{2}} - 20 \, {\left (b \sin \left (d x + c\right ) + a\right )}^{\frac {3}{2}} a + 30 \, {\left (3 \, a^{2} - b^{2}\right )} \sqrt {b \sin \left (d x + c\right ) + a}}{b^{4}} - \frac {5 \, {\left (a^{4} - 2 \, a^{2} b^{2} + b^{4} - 12 \, {\left (a^{3} - a b^{2}\right )} {\left (b \sin \left (d x + c\right ) + a\right )}\right )}}{{\left (b \sin \left (d x + c\right ) + a\right )}^{\frac {3}{2}} b^{4}}\right )}}{15 \, b d} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [A]
time = 0.38, size = 147, normalized size = 0.98 \begin {gather*} -\frac {2 \, {\left (3 \, b^{4} \cos \left (d x + c\right )^{4} + 128 \, a^{4} - 32 \, a^{2} b^{2} - 32 \, b^{4} - 24 \, {\left (2 \, a^{2} b^{2} - b^{4}\right )} \cos \left (d x + c\right )^{2} + 8 \, {\left (a b^{3} \cos \left (d x + c\right )^{2} + 24 \, a^{3} b - 16 \, a b^{3}\right )} \sin \left (d x + c\right )\right )} \sqrt {b \sin \left (d x + c\right ) + a}}{15 \, {\left (b^{7} d \cos \left (d x + c\right )^{2} - 2 \, a b^{6} d \sin \left (d x + c\right ) - {\left (a^{2} b^{5} + b^{7}\right )} d\right )}} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [F(-1)] Timed out
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \text {Timed out} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Giac [F(-1)] Timed out
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \text {Timed out} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Mupad [F]
time = 0.00, size = -1, normalized size = -0.01 \begin {gather*} \int \frac {{\cos \left (c+d\,x\right )}^5}{{\left (a+b\,\sin \left (c+d\,x\right )\right )}^{5/2}} \,d x \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________